Public Announcements and Belief Expansion
نویسندگان
چکیده
In this paper we study the relation between two approaches to information change: Dynamic Epistemic Logic and Belief Revision. One of the main differences between these approaches is that higher-order information plays an important role in the field of Dynamic Epistemic Logic, whereas it does not feature in Belief Revision. In this paper we study to which extent public announcements (a particular kind of information change studied in Dynamic Epistemic Logic) can be viewed as a belief expansion (a particular kind of information change studied in Belief Revision).
منابع مشابه
Speech acts as announcements
Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a...
متن کاملArbitrary Announcements in Propositional Belief Revision
Public announcements cause each agent in a group to modify their beliefs to incorporate some new piece of information, while simultaneously being aware that all other agents are doing the same. Given some fixed goal formula, it is natural to ask if there exists an announcement that will make the formula true in a multi-agent context. This problem is known to be undecidable in a general modal se...
متن کاملTR-2007025: Public Communication in Justification Logic
Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...
متن کاملPublic communication in justification logic
Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...
متن کاملRealizing public announcements by justifications
Modal public announcement logics study how beliefs change after public announcements. However, these logics cannot express the reason for a new belief. Justification logics fill this gap since they can formally represent evidence and justifications for an agent’s belief. We present OPAL(K) and JPAL(K), two alternative justification counterparts of Gerbrandy–Groeneveld’s public announcement logi...
متن کامل